๐Ÿ” Introducing EMCL โ€“ A Secure Protocol for AI Agents to Call Tools
dev.toยท15hยท
Discuss: DEV
๐ŸŒNetworkProtocols
Functional Abstract Interpretation
simon.peytonjones.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
A distributed systems reliability glossary
antithesis.comยท15hยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Archive Fixity
FSM Library for Embedded C Projects
hackster.ioยท2d
๐Ÿฆ€Embedded Rust
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.comยท13h
๐ŸŽฏGradual Typing
Reflecting on PLDI 2025
people.csail.mit.eduยท2dยท
Discuss: Hacker News
โš™๏ธPL Implementation
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท1dยท
Discuss: Hacker News
๐Ÿ”Type Inference
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgยท2d
๐Ÿง Computational Logic
Song recommendations with pipes and filters
blog.ploeh.dkยท1d
ฮปLambda Formalization
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท9hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท16hยท
Discuss: Hacker News
๐Ÿ”CBOR
A Rust shaped hole
ente.ioยท2d
๐Ÿฆ€Rust Macros
The Future of AI Agent Communication with ACP
towardsdatascience.comยท14h
๐Ÿ”ŒInterface Evolution
A Programmerโ€™s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.comยท1h
๐Ÿ”งRISC-V Assembler
An LLM Router That Thinks Like an Engineer
medium.comยท13hยท
Discuss: Hacker News
๐Ÿ“กBGP Archaeology
Alignment
languagelog.ldc.upenn.eduยท10h
๐Ÿ”„Language Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lolยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Janet Feature Demos
github.comยท7mยท
Discuss: Lobsters
๐Ÿง Lisp Dialects
MCP: A Practical Security Blueprint for Developers
thenewstack.ioยท10h
๐Ÿ”“Hacking
Python Fundamentals: build
dev.toยท18hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds